tools-xentrace-prefix.diff
authorBastian Blank <waldi@debian.org>
Sat, 5 Jul 2014 09:47:14 +0000 (11:47 +0200)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Tue, 18 Apr 2017 16:34:43 +0000 (17:34 +0100)
commitbded2269fb168938a662711d0a632d9d644bfc30
treea648d3f04b3f5f14c345fa86189c89ed768226ee
parentdda6e65fe8f36391534f781ebdf0bc9f9e58192a
tools-xentrace-prefix.diff

Patch-Name: tools-xentrace-prefix.diff

Gbp-Pq: Name tools-xentrace-prefix.diff
tools/xentrace/Makefile